Feeds to Scour
SubscribedAll
Scoured 19415 posts in 222.4 ms
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.org·1d
✨Effect Handlers
Beyond agentic coding
haskellforall.com·9h·
Discuss: Lobsters, Hacker News, r/programming
⚡Incremental Computation
Build a Compiler in Five Projects
kmicinski.com·16h
🔨Compilers
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·10h
🦀Rust Macros
Railway Oriented Programming
fsharpforfunandprofit.com·1d·
Discuss: Hacker News
🐚Shell Monads
Yet Another Set of Claude Code Plugins (But Maybe Useful?)
dev.to·5h·
Discuss: DEV
⚡Proof Automation
Declarative, Reproducible Emacs
irreal.org·10h
🧩Shell Metaprogramming
Automatic Programming
notes.billmill.org·3d
⚡Proof Automation
What are Effect System and Why Do We care?
idiomaticsoft.com·4d
✨Effect Handlers
Rethinking Time in Computation – From Wall Clocks to State Transitions
d1gesto.blogspot.com·1d·
Discuss: Hacker News
⏰Time Crystals
How I Built My Project in Haskell
dev.to·2h·
Discuss: DEV
🔗Functional Compilers
Code only says what it does
brooker.co.za·27m·
Discuss: Hacker News
📜Proof Carrying Code
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·2d·
Discuss: Hacker News
💻Programming languages
On variability
surfingcomplexity.blog·5h
⚡Incremental Computation
Strong Normalisation for Asynchronous Effects
arxiv.org·1d
✨Effect Handlers
Production pain points and coordination patterns from building a dual-orchestrator (Claude + Kimi) system on Claude Code. 8 failure modes with specs and invariants.
gist.github.com·3h·
Discuss: Hacker News
✨Effect Handlers
Agentic Proof-Oriented Programming
risemsr.github.io·2d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Building Interactive C/C++ workflows in Jupyter through Clang-REPL [video]
fosdem.org·11h·
Discuss: Hacker News
🦀Rust Macros
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·10h·
Discuss: Hacker News, r/Compilers
⚡Incremental Computation
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·8h
📝Concrete Syntax

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help